退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用计数语义加速LTL规范的运行时验证
Ramy Medhat; Yogi Joshi; Borzoo Bonakdarpour; Sebastian Fischmeister;
机译:比较LTL语义以进行运行时验证
机译:具有用于运行时验证的规则的一阶LETL的扩展
机译:重新使用时间描述逻辑ALC-LTL进行运行时验证
机译:利用计数语义加速LTL规范的运行时验证
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:通过计数加速运行时验证LTL规格 语义
机译:规格验证程序,计算机可读存储介质规格验证程序,规格验证装置和规格验证方法
机译:可读记录介质,规格验证设备,在记录有规格验证程序的计算机上读取的规格和验证方法,程序
机译:逻辑规格验证程序,逻辑规格验证装置和逻辑规格验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。